[next] [prev] [prev-tail] [tail] [up]

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA and IntegrateAlgebraic to I.A.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

102 102 87 136 0 205 0 84 -1 96

N.S.

1 1.00 0.85 1.33 0.00 2.01 0.00 0.82 -0.01 0.94

time (sec)

N/A 0.094 0.195 0.028 0.000 0.430 0.000 0.256 0.000 0.439

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B F(-2) B F B F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 178 491 0 1079 0 847 -1 162

N.S.

1 1.00 2.17 5.99 0.00 13.16 0.00 10.33 -0.01 1.98

time (sec)

N/A 0.111 0.394 0.060 0.000 0.662 0.000 3.037 0.000 0.505

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B F(-2) B F B F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

66 66 161 307 0 813 0 703 -1 146

N.S.

1 1.00 2.44 4.65 0.00 12.32 0.00 10.65 -0.02 2.21

time (sec)

N/A 0.079 0.228 0.029 0.000 0.516 0.000 1.898 0.000 0.444

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B F B F B F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

129 129 296 829 0 1544 0 1166 -1 239

N.S.

1 1.00 2.29 6.43 0.00 11.97 0.00 9.04 -0.01 1.85

time (sec)

N/A 0.169 0.923 0.033 0.000 0.843 0.000 2.265 0.000 0.863

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B F B F(-1) B F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

224 224 1746 1884 0 3818 0 2986 -1 0

N.S.

1 1.00 7.79 8.41 0.00 17.04 0.00 13.33 -0.00 0.00

time (sec)

N/A 0.427 6.382 0.032 0.000 4.820 0.000 4.870 0.000 180.014

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B F B F(-1) F(-1) F F(-1)

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

328 328 3382 3695 0 8134 0 0 -1 0

N.S.

1 1.00 10.31 11.27 0.00 24.80 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.970 6.607 0.038 0.000 20.449 0.000 0.000 0.000 180.018

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B F B F(-1) F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

162 162 490 1377 0 2005 0 0 -1 266

N.S.

1 1.00 3.02 8.50 0.00 12.38 0.00 0.00 -0.01 1.64

time (sec)

N/A 0.306 1.965 0.033 0.000 1.573 0.000 0.000 0.000 1.337

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

28 28 84 27 0 38 0 52 -1 55

N.S.

1 1.00 3.00 0.96 0.00 1.36 0.00 1.86 -0.04 1.96

time (sec)

N/A 0.017 0.074 0.022 0.000 0.398 0.000 0.219 0.000 0.276

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

48 48 27 16 0 22 0 49 -1 41

N.S.

1 1.00 0.56 0.33 0.00 0.46 0.00 1.02 -0.02 0.85

time (sec)

N/A 0.015 0.020 0.046 0.000 0.404 0.000 0.229 0.000 0.141

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

70 70 66 84 0 82 0 143 -1 62

N.S.

1 1.00 0.94 1.20 0.00 1.17 0.00 2.04 -0.01 0.89

time (sec)

N/A 0.051 0.088 0.021 0.000 0.413 0.000 0.260 0.000 0.276

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F A F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

98 98 159 341 0 161 0 171 -1 80

N.S.

1 1.00 1.62 3.48 0.00 1.64 0.00 1.74 -0.01 0.82

time (sec)

N/A 0.210 0.395 0.030 0.000 0.424 0.000 0.215 0.000 0.288

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

68 68 68 55 54 54 65 54 54 0

N.S.

1 1.00 1.00 0.81 0.79 0.79 0.96 0.79 0.79 0.00

time (sec)

N/A 0.049 0.003 0.001 0.460 0.337 0.086 0.206 0.062 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

56 56 56 45 44 44 53 44 44 0

N.S.

1 1.00 1.00 0.80 0.79 0.79 0.95 0.79 0.79 0.00

time (sec)

N/A 0.038 0.002 0.001 0.447 0.342 0.081 0.181 0.034 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

44 44 44 35 34 34 41 34 34 0

N.S.

1 1.00 1.00 0.80 0.77 0.77 0.93 0.77 0.77 0.00

time (sec)

N/A 0.029 0.001 0.001 0.434 0.341 0.075 0.209 0.025 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

30 30 30 25 24 24 26 24 24 0

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.87 0.80 0.80 0.00

time (sec)

N/A 0.016 0.001 0.001 0.432 0.341 0.062 0.182 0.023 0.000

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

42 42 42 34 33 33 49 33 35 0

N.S.

1 1.00 1.00 0.81 0.79 0.79 1.17 0.79 0.83 0.00

time (sec)

N/A 0.040 0.016 0.005 0.975 0.393 0.141 0.176 3.393 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

43 43 43 34 36 45 42 36 35 0

N.S.

1 1.00 1.00 0.79 0.84 1.05 0.98 0.84 0.81 0.00

time (sec)

N/A 0.027 0.015 0.005 0.969 0.388 0.157 0.209 0.038 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

64 64 53 47 56 75 63 46 55 0

N.S.

1 1.00 0.83 0.73 0.88 1.17 0.98 0.72 0.86 0.00

time (sec)

N/A 0.037 0.026 0.005 0.958 0.390 0.182 0.175 0.049 0.001

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

80 80 80 65 64 64 76 64 64 0

N.S.

1 1.00 1.00 0.81 0.80 0.80 0.95 0.80 0.80 0.00

time (sec)

N/A 0.060 0.003 0.002 0.452 0.345 0.102 0.201 0.085 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

66 66 66 55 54 54 63 54 54 0

N.S.

1 1.00 1.00 0.83 0.82 0.82 0.95 0.82 0.82 0.00

time (sec)

N/A 0.048 0.002 0.001 0.438 0.338 0.086 0.215 0.054 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

54 54 54 45 44 44 51 44 44 0

N.S.

1 1.00 1.00 0.83 0.81 0.81 0.94 0.81 0.81 0.00

time (sec)

N/A 0.042 0.002 0.001 0.437 0.332 0.082 0.202 0.034 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 46 35 34 34 41 34 34 0

N.S.

1 1.00 1.00 0.76 0.74 0.74 0.89 0.74 0.74 0.00

time (sec)

N/A 0.030 0.001 0.001 0.435 0.337 0.072 0.192 0.025 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

56 56 53 44 43 43 63 43 45 0

N.S.

1 1.00 0.95 0.79 0.77 0.77 1.12 0.77 0.80 0.00

time (sec)

N/A 0.051 0.020 0.004 0.968 0.392 0.150 0.210 3.449 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

63 63 59 51 52 78 65 52 51 0

N.S.

1 1.00 0.94 0.81 0.83 1.24 1.03 0.83 0.81 0.00

time (sec)

N/A 0.061 0.032 0.006 0.961 0.396 0.198 0.172 0.050 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

64 64 53 47 56 75 63 46 55 0

N.S.

1 1.00 0.83 0.73 0.88 1.17 0.98 0.72 0.86 0.00

time (sec)

N/A 0.052 0.024 0.006 0.968 0.383 0.199 0.185 3.442 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

85 85 63 57 76 105 83 56 75 0

N.S.

1 1.00 0.74 0.67 0.89 1.24 0.98 0.66 0.88 0.00

time (sec)

N/A 0.063 0.044 0.007 0.962 0.377 0.229 0.183 3.468 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

96 96 96 75 74 74 92 74 74 0

N.S.

1 1.00 1.00 0.78 0.77 0.77 0.96 0.77 0.77 0.00

time (sec)

N/A 0.071 0.004 0.000 0.432 0.339 0.097 0.176 0.121 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 82 65 64 64 78 64 64 0

N.S.

1 1.00 1.00 0.79 0.78 0.78 0.95 0.78 0.78 0.00

time (sec)

N/A 0.056 0.002 0.001 0.426 0.329 0.090 0.205 0.081 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

68 68 68 55 54 54 65 54 54 0

N.S.

1 1.00 1.00 0.81 0.79 0.79 0.96 0.79 0.79 0.00

time (sec)

N/A 0.051 0.002 0.002 0.429 0.337 0.084 0.202 0.054 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

56 56 56 45 44 44 53 44 44 0

N.S.

1 1.00 1.00 0.80 0.79 0.79 0.95 0.79 0.79 0.00

time (sec)

N/A 0.032 0.001 0.001 0.434 0.332 0.077 0.201 0.033 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

70 70 63 54 53 53 76 53 55 0

N.S.

1 1.00 0.90 0.77 0.76 0.76 1.09 0.76 0.79 0.00

time (sec)

N/A 0.053 0.023 0.004 0.963 0.408 0.159 0.211 0.043 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

77 77 77 61 62 88 78 62 61 0

N.S.

1 1.00 1.00 0.79 0.81 1.14 1.01 0.81 0.79 0.00

time (sec)

N/A 0.072 0.027 0.008 0.961 0.408 0.188 0.206 3.431 0.001

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

84 84 78 63 72 118 85 62 71 0

N.S.

1 1.00 0.93 0.75 0.86 1.40 1.01 0.74 0.85 0.00

time (sec)

N/A 0.087 0.037 0.009 0.970 0.393 0.235 0.189 3.426 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

84 84 72 64 63 63 87 63 65 0

N.S.

1 1.00 0.86 0.76 0.75 0.75 1.04 0.75 0.77 0.00

time (sec)

N/A 0.057 0.028 0.006 0.976 0.397 0.167 0.211 3.441 0.001

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

70 70 63 54 53 53 73 53 55 0

N.S.

1 1.00 0.90 0.77 0.76 0.76 1.04 0.76 0.79 0.00

time (sec)

N/A 0.056 0.021 0.004 0.968 0.414 0.152 0.213 0.042 0.000

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

56 56 52 44 43 43 60 43 45 0

N.S.

1 1.00 0.93 0.79 0.77 0.77 1.07 0.77 0.80 0.00

time (sec)

N/A 0.050 0.017 0.004 0.958 0.434 0.155 0.182 3.445 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

42 42 42 34 33 33 46 33 35 0

N.S.

1 1.00 1.00 0.81 0.79 0.79 1.10 0.79 0.83 0.00

time (sec)

N/A 0.035 0.010 0.004 0.950 0.395 0.141 0.207 0.039 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

73 73 73 60 59 59 83 59 79 0

N.S.

1 1.00 1.00 0.82 0.81 0.81 1.14 0.81 1.08 0.00

time (sec)

N/A 0.053 0.032 0.006 0.963 0.407 0.244 0.191 0.187 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

94 94 94 77 78 117 102 78 95 0

N.S.

1 1.00 1.00 0.82 0.83 1.24 1.09 0.83 1.01 0.00

time (sec)

N/A 0.089 0.083 0.007 0.960 0.412 0.322 0.198 3.567 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

115 115 104 89 98 177 119 88 115 0

N.S.

1 1.00 0.90 0.77 0.85 1.54 1.03 0.77 1.00 0.00

time (sec)

N/A 0.124 0.155 0.008 0.959 0.402 0.363 0.180 0.179 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

91 91 91 71 72 98 90 72 72 0

N.S.

1 1.00 1.00 0.78 0.79 1.08 0.99 0.79 0.79 0.00

time (sec)

N/A 0.086 0.052 0.010 0.964 0.393 0.198 0.183 3.462 0.001

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

77 77 77 61 62 88 75 62 61 0

N.S.

1 1.00 1.00 0.79 0.81 1.14 0.97 0.81 0.79 0.00

time (sec)

N/A 0.073 0.028 0.008 0.960 0.432 0.191 0.195 3.424 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

63 63 63 51 52 78 61 52 52 0

N.S.

1 1.00 1.00 0.81 0.83 1.24 0.97 0.83 0.83 0.00

time (sec)

N/A 0.063 0.031 0.007 0.966 0.407 0.189 0.173 3.404 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

43 43 43 34 36 45 42 36 36 0

N.S.

1 1.00 1.00 0.79 0.84 1.05 0.98 0.84 0.84 0.00

time (sec)

N/A 0.026 0.015 0.004 0.964 0.401 0.154 0.189 0.040 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

94 94 94 77 78 117 102 78 96 0

N.S.

1 1.00 1.00 0.82 0.83 1.24 1.09 0.83 1.02 0.00

time (sec)

N/A 0.088 0.061 0.007 0.963 0.414 0.319 0.192 3.578 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

127 127 106 94 96 167 122 96 115 0

N.S.

1 1.00 0.83 0.74 0.76 1.31 0.96 0.76 0.91 0.00

time (sec)

N/A 0.123 0.057 0.010 0.961 0.434 0.359 0.193 0.177 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

148 148 136 106 118 237 143 110 135 0

N.S.

1 1.00 0.92 0.72 0.80 1.60 0.97 0.74 0.91 0.00

time (sec)

N/A 0.161 0.076 0.011 0.968 0.409 0.400 0.202 3.586 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

98 98 98 73 82 128 95 72 81 0

N.S.

1 1.00 1.00 0.74 0.84 1.31 0.97 0.73 0.83 0.00

time (sec)

N/A 0.113 0.038 0.008 0.951 0.411 0.241 0.207 0.045 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

84 84 84 63 72 118 82 62 72 0

N.S.

1 1.00 1.00 0.75 0.86 1.40 0.98 0.74 0.86 0.00

time (sec)

N/A 0.087 0.037 0.007 0.958 0.394 0.229 0.183 0.049 0.001

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

64 64 51 47 56 75 63 46 56 0

N.S.

1 1.00 0.80 0.73 0.88 1.17 0.98 0.72 0.88 0.00

time (sec)

N/A 0.053 0.029 0.006 0.961 0.387 0.201 0.186 3.474 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

64 64 51 47 56 75 61 46 55 0

N.S.

1 1.00 0.80 0.73 0.88 1.17 0.95 0.72 0.86 0.00

time (sec)

N/A 0.033 0.028 0.007 0.960 0.418 0.183 0.205 0.044 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

115 115 99 89 98 177 122 88 116 0

N.S.

1 1.00 0.86 0.77 0.85 1.54 1.06 0.77 1.01 0.00

time (sec)

N/A 0.124 0.161 0.008 0.973 0.431 0.357 0.211 3.580 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

160 160 136 106 116 227 143 110 136 0

N.S.

1 1.00 0.85 0.66 0.72 1.42 0.89 0.69 0.85 0.00

time (sec)

N/A 0.160 0.124 0.011 0.974 0.426 0.427 0.217 3.597 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

181 181 151 118 138 297 163 116 155 0

N.S.

1 1.00 0.83 0.65 0.76 1.64 0.90 0.64 0.86 0.00

time (sec)

N/A 0.204 0.095 0.013 0.972 0.428 0.470 0.219 3.588 0.001

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

208 208 85 166 177 98 0 93 221 100

N.S.

1 1.00 0.41 0.80 0.85 0.47 0.00 0.45 1.06 0.48

time (sec)

N/A 0.309 0.296 0.031 1.006 0.437 0.000 0.249 5.028 1.083

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 75 132 143 88 0 83 187 90

N.S.

1 1.00 0.45 0.80 0.86 0.53 0.00 0.50 1.13 0.54

time (sec)

N/A 0.181 0.171 0.008 0.982 0.434 0.000 0.254 4.692 0.869

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

124 124 65 98 109 78 0 73 153 80

N.S.

1 1.00 0.52 0.79 0.88 0.63 0.00 0.59 1.23 0.65

time (sec)

N/A 0.099 0.105 0.007 0.976 0.419 0.000 0.217 4.185 0.562

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 55 64 75 68 0 63 119 70

N.S.

1 1.00 0.67 0.78 0.91 0.83 0.00 0.77 1.45 0.85

time (sec)

N/A 0.040 0.052 0.006 0.961 0.411 0.000 0.238 3.835 0.366

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

174 174 185 2065 0 2016 0 0 -1 211

N.S.

1 1.00 1.06 11.87 0.00 11.59 0.00 0.00 -0.01 1.21

time (sec)

N/A 0.441 0.457 0.149 0.000 0.994 0.000 0.000 0.000 0.346

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

188 188 214 16357 0 2102 0 0 -1 423

N.S.

1 1.00 1.14 87.01 0.00 11.18 0.00 0.00 -0.01 2.25

time (sec)

N/A 0.393 1.036 0.232 0.000 1.194 0.000 0.000 0.000 0.705

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

223 223 299 44343 0 2182 0 0 -1 396

N.S.

1 1.00 1.34 198.85 0.00 9.78 0.00 0.00 -0.00 1.78

time (sec)

N/A 0.459 2.075 0.372 0.000 1.437 0.000 0.000 0.000 0.824

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

231 231 95 185 206 108 0 103 -1 110

N.S.

1 1.00 0.41 0.80 0.89 0.47 0.00 0.45 -0.00 0.48

time (sec)

N/A 0.342 0.367 0.035 1.022 0.479 0.000 0.255 0.000 1.372

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

189 189 85 151 172 98 0 93 -1 100

N.S.

1 1.00 0.45 0.80 0.91 0.52 0.00 0.49 -0.01 0.53

time (sec)

N/A 0.190 0.231 0.007 0.991 0.460 0.000 0.256 0.000 1.056

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

147 147 75 117 138 88 0 83 -1 90

N.S.

1 1.00 0.51 0.80 0.94 0.60 0.00 0.56 -0.01 0.61

time (sec)

N/A 0.122 0.141 0.009 0.983 0.455 0.000 0.257 0.000 0.824

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

105 105 65 83 104 78 0 73 -1 80

N.S.

1 1.00 0.62 0.79 0.99 0.74 0.00 0.70 -0.01 0.76

time (sec)

N/A 0.050 0.080 0.006 0.963 0.410 0.000 0.230 0.000 0.581

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

197 197 310 3460 0 2027 0 0 -1 235

N.S.

1 1.00 1.57 17.56 0.00 10.29 0.00 0.00 -0.01 1.19

time (sec)

N/A 0.488 0.693 0.053 0.000 0.994 0.000 0.000 0.000 0.530

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

232 232 530 28185 0 2150 0 0 -1 422

N.S.

1 1.00 2.28 121.49 0.00 9.27 0.00 0.00 -0.00 1.82

time (sec)

N/A 0.575 2.562 0.158 0.000 1.291 0.000 0.000 0.000 0.680

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

223 223 1262 81552 0 2183 0 0 -1 578

N.S.

1 1.00 5.66 365.70 0.00 9.79 0.00 0.00 -0.00 2.59

time (sec)

N/A 0.433 5.342 0.350 0.000 1.270 0.000 0.000 0.000 1.059

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

254 254 105 204 235 118 0 113 -1 120

N.S.

1 1.00 0.41 0.80 0.93 0.46 0.00 0.44 -0.00 0.47

time (sec)

N/A 0.373 0.452 0.040 1.021 0.419 0.000 0.536 0.000 1.834

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

212 212 95 170 201 108 0 103 -1 110

N.S.

1 1.00 0.45 0.80 0.95 0.51 0.00 0.49 -0.00 0.52

time (sec)

N/A 0.220 0.296 0.009 0.996 0.417 0.000 0.549 0.000 1.336

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

170 170 85 136 167 98 0 93 -1 100

N.S.

1 1.00 0.50 0.80 0.98 0.58 0.00 0.55 -0.01 0.59

time (sec)

N/A 0.130 0.183 0.007 1.028 0.415 0.000 0.516 0.000 1.048

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

128 128 75 102 133 88 0 83 -1 90

N.S.

1 1.00 0.59 0.80 1.04 0.69 0.00 0.65 -0.01 0.70

time (sec)

N/A 0.062 0.112 0.006 0.974 0.411 0.000 0.391 0.000 0.843

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

222 222 229 4860 0 2010 0 0 -1 245

N.S.

1 1.00 1.03 21.89 0.00 9.05 0.00 0.00 -0.00 1.10

time (sec)

N/A 0.539 1.047 0.053 0.000 1.040 0.000 0.000 0.000 0.762

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

255 255 685 40028 0 2161 0 0 -1 442

N.S.

1 1.00 2.69 156.97 0.00 8.47 0.00 0.00 -0.00 1.73

time (sec)

N/A 0.660 1.655 0.157 0.000 1.317 0.000 0.000 0.000 0.970

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

281 281 1009 119458 0 2240 0 0 -1 627

N.S.

1 1.00 3.59 425.12 0.00 7.97 0.00 0.00 -0.00 2.23

time (sec)

N/A 0.655 1.996 0.384 0.000 1.479 0.000 0.000 0.000 1.085

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

185 185 75 147 148 88 0 83 -1 90

N.S.

1 1.00 0.41 0.79 0.80 0.48 0.00 0.45 -0.01 0.49

time (sec)

N/A 0.312 0.241 0.019 0.999 0.433 0.000 0.503 0.000 0.802

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

143 143 65 113 114 78 0 73 -1 80

N.S.

1 1.00 0.45 0.79 0.80 0.55 0.00 0.51 -0.01 0.56

time (sec)

N/A 0.168 0.134 0.008 0.977 0.407 0.000 0.524 0.000 0.598

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

101 101 55 79 80 68 0 63 -1 70

N.S.

1 1.00 0.54 0.78 0.79 0.67 0.00 0.62 -0.01 0.69

time (sec)

N/A 0.088 0.075 0.008 0.965 0.408 0.000 0.487 0.000 0.490

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

59 59 45 45 46 58 0 53 -1 60

N.S.

1 1.00 0.76 0.76 0.78 0.98 0.00 0.90 -0.02 1.02

time (sec)

N/A 0.033 0.039 0.006 0.956 0.415 0.000 0.530 0.000 0.276

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

148 148 176 684 0 2002 0 0 -1 135

N.S.

1 1.00 1.19 4.62 0.00 13.53 0.00 0.00 -0.01 0.91

time (sec)

N/A 0.314 0.300 0.004 0.000 1.132 0.000 0.000 0.000 0.359

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

188 188 287 5225 0 2102 0 0 -1 230

N.S.

1 1.00 1.53 27.79 0.00 11.18 0.00 0.00 -0.01 1.22

time (sec)

N/A 0.429 0.996 0.006 0.000 1.250 0.000 0.000 0.000 0.543

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

223 223 1277 13040 0 2183 0 0 -1 396

N.S.

1 1.00 5.73 58.48 0.00 9.79 0.00 0.00 -0.00 1.78

time (sec)

N/A 0.469 6.230 0.007 0.000 1.284 0.000 0.000 0.000 0.843

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 95 166 148 112 0 82 -1 90

N.S.

1 1.00 0.57 1.00 0.89 0.67 0.00 0.49 -0.01 0.54

time (sec)

N/A 0.204 0.373 0.029 0.985 0.411 0.000 0.251 0.000 1.321

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

124 124 65 132 114 102 0 72 -1 80

N.S.

1 1.00 0.52 1.06 0.92 0.82 0.00 0.58 -0.01 0.65

time (sec)

N/A 0.127 0.232 0.008 0.973 0.419 0.000 0.281 0.000 0.844

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 55 98 80 92 0 62 -1 70

N.S.

1 1.00 0.67 1.20 0.98 1.12 0.00 0.76 -0.01 0.85

time (sec)

N/A 0.071 0.143 0.008 0.959 0.415 0.000 0.237 0.000 0.728

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

45 45 45 64 46 82 0 53 87 60

N.S.

1 1.00 1.00 1.42 1.02 1.82 0.00 1.18 1.93 1.33

time (sec)

N/A 0.029 0.076 0.006 0.955 0.415 0.000 0.234 0.227 0.424

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

176 176 202 718 0 2083 0 0 -1 199

N.S.

1 1.00 1.15 4.08 0.00 11.84 0.00 0.00 -0.01 1.13

time (sec)

N/A 0.408 1.287 0.034 0.000 1.168 0.000 0.000 0.000 0.493

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

211 211 740 5942 0 2173 0 0 -1 406

N.S.

1 1.00 3.51 28.16 0.00 10.30 0.00 0.00 -0.00 1.92

time (sec)

N/A 0.473 1.525 0.099 0.000 1.259 0.000 0.000 0.000 0.945

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

246 246 231 18981 0 2263 0 0 -1 611

N.S.

1 1.00 0.94 77.16 0.00 9.20 0.00 0.00 -0.00 2.48

time (sec)

N/A 0.525 2.206 0.208 0.000 1.386 0.000 0.000 0.000 1.513

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

147 147 75 214 253 132 0 81 -1 90

N.S.

1 1.00 0.51 1.46 1.72 0.90 0.00 0.55 -0.01 0.61

time (sec)

N/A 0.167 0.513 0.031 1.002 0.423 0.000 0.252 0.000 1.449

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

105 105 65 180 219 122 0 72 -1 80

N.S.

1 1.00 0.62 1.71 2.09 1.16 0.00 0.69 -0.01 0.76

time (sec)

N/A 0.105 0.338 0.008 1.020 0.426 0.000 0.268 0.000 1.028

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B B F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

68 68 55 146 185 112 0 61 -1 70

N.S.

1 1.00 0.81 2.15 2.72 1.65 0.00 0.90 -0.01 1.03

time (sec)

N/A 0.061 0.236 0.007 0.978 0.408 0.000 0.267 0.000 0.737

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

47 47 33 30 59 51 0 29 29 33

N.S.

1 1.00 0.70 0.64 1.26 1.09 0.00 0.62 0.62 0.70

time (sec)

N/A 0.022 0.103 0.005 0.432 0.404 0.000 0.232 0.090 0.515

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

199 199 218 751 0 2133 0 0 -1 209

N.S.

1 1.00 1.10 3.77 0.00 10.72 0.00 0.00 -0.01 1.05

time (sec)

N/A 0.456 0.868 0.039 0.000 1.239 0.000 0.000 0.000 0.826

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

234 234 296 5975 0 2253 0 0 -1 416

N.S.

1 1.00 1.26 25.53 0.00 9.63 0.00 0.00 -0.00 1.78

time (sec)

N/A 0.543 1.153 0.104 0.000 1.194 0.000 0.000 0.000 1.418

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

269 269 242 19014 0 2343 0 0 -1 601

N.S.

1 1.00 0.90 70.68 0.00 8.71 0.00 0.00 -0.00 2.23

time (sec)

N/A 0.589 1.958 0.209 0.000 1.327 0.000 0.000 0.000 1.611

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

436 436 657 1429 0 1269 0 638 1299 655

N.S.

1 1.00 1.51 3.28 0.00 2.91 0.00 1.46 2.98 1.50

time (sec)

N/A 0.789 0.935 0.023 0.000 0.739 0.000 0.365 5.312 2.823

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

175 175 173 453 0 465 0 212 320 207

N.S.

1 1.00 0.99 2.59 0.00 2.66 0.00 1.21 1.83 1.18

time (sec)

N/A 0.164 0.273 0.007 0.000 0.472 0.000 0.299 3.906 0.770

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F F(-2) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

431 431 417 6019 0 0 0 0 -1 402

N.S.

1 1.00 0.97 13.97 0.00 0.00 0.00 0.00 -0.00 0.93

time (sec)

N/A 1.051 1.219 0.052 0.000 0.000 0.000 0.000 0.000 0.601

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

488 488 555 22287 0 0 0 0 -1 946

N.S.

1 1.00 1.14 45.67 0.00 0.00 0.00 0.00 -0.00 1.94

time (sec)

N/A 2.929 5.093 0.037 0.000 0.000 0.000 0.000 0.000 2.554

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

564 564 829 2458 0 2179 0 1150 -1 1210

N.S.

1 1.00 1.47 4.36 0.00 3.86 0.00 2.04 -0.00 2.15

time (sec)

N/A 0.935 1.762 0.025 0.000 1.939 0.000 0.598 0.000 7.792

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

236 236 392 862 0 839 0 417 -1 408

N.S.

1 1.00 1.66 3.65 0.00 3.56 0.00 1.77 -0.00 1.73

time (sec)

N/A 0.230 0.606 0.009 0.000 0.842 0.000 0.612 0.000 1.701

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) F(-2) F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

679 678 1232 22523 0 0 0 0 -1 1160

N.S.

1 1.00 1.81 33.17 0.00 0.00 0.00 0.00 -0.00 1.71

time (sec)

N/A 11.033 4.576 0.029 0.000 0.000 0.000 0.000 0.000 1.670

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B F F(-1) F(-1) F(-2) F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

704 704 2843 72576 0 0 0 0 -1 2427

N.S.

1 1.00 4.04 103.09 0.00 0.00 0.00 0.00 -0.00 3.45

time (sec)

N/A 11.950 6.831 0.039 0.000 0.000 0.000 0.000 0.000 5.181

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B B F F(-1) F(-1) F(-1) F F(-1)

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

671 669 4727 178044 0 0 0 0 -1 0

N.S.

1 1.00 7.04 265.34 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 11.597 7.229 0.066 0.000 0.000 0.000 0.000 0.000 180.012

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

717 717 615 1930 0 1583 0 824 -1 847

N.S.

1 1.00 0.86 2.69 0.00 2.21 0.00 1.15 -0.00 1.18

time (sec)

N/A 2.710 1.346 0.028 0.000 1.407 0.000 0.528 0.000 4.221

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

316 316 251 706 0 637 0 304 -1 296

N.S.

1 1.00 0.79 2.23 0.00 2.02 0.00 0.96 -0.00 0.94

time (sec)

N/A 0.626 0.503 0.014 0.000 0.800 0.000 0.632 0.000 1.089

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

116 116 96 185 0 227 0 98 -1 102

N.S.

1 1.00 0.83 1.59 0.00 1.96 0.00 0.84 -0.01 0.88

time (sec)

N/A 0.111 0.146 0.008 0.000 0.634 0.000 0.499 0.000 0.480

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F F(-1) F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

374 374 376 761 0 11287 0 0 -1 211

N.S.

1 1.00 1.01 2.03 0.00 30.18 0.00 0.00 -0.00 0.56

time (sec)

N/A 0.579 1.454 0.025 0.000 7.139 0.000 0.000 0.000 0.442

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) F(-1) F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

789 787 1377 3858 0 0 0 0 -1 55521

N.S.

1 1.00 1.75 4.89 0.00 0.00 0.00 0.00 -0.00 70.37

time (sec)

N/A 8.210 6.689 0.031 0.000 0.000 0.000 0.000 0.000 175.847

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

649 649 745 2827 0 3143 0 1099 -1 1100

N.S.

1 1.00 1.15 4.36 0.00 4.84 0.00 1.69 -0.00 1.69

time (sec)

N/A 2.106 1.664 0.030 0.000 1.952 0.000 0.423 0.000 5.978

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

309 309 288 1011 0 1305 0 407 -1 375

N.S.

1 1.00 0.93 3.27 0.00 4.22 0.00 1.32 -0.00 1.21

time (sec)

N/A 0.447 0.733 0.015 0.000 1.238 0.000 0.352 0.000 2.163

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

111 111 113 249 0 429 0 122 143 111

N.S.

1 1.00 1.02 2.24 0.00 3.86 0.00 1.10 1.29 1.00

time (sec)

N/A 0.080 0.311 0.006 0.000 0.784 0.000 0.312 3.734 0.551

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) F(-1) F(-1) F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

666 666 700 4099 0 0 0 0 -1 730

N.S.

1 1.00 1.05 6.15 0.00 0.00 0.00 0.00 -0.00 1.10

time (sec)

N/A 1.829 5.343 0.028 0.000 0.000 0.000 0.000 0.000 1.609

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

891 891 872 4635 0 3995 0 1401 -1 1411

N.S.

1 1.00 0.98 5.20 0.00 4.48 0.00 1.57 -0.00 1.58

time (sec)

N/A 1.768 2.191 0.031 0.000 5.385 0.000 0.455 0.000 37.604

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F(-1) A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

444 444 387 1786 0 1581 0 587 -1 555

N.S.

1 1.00 0.87 4.02 0.00 3.56 0.00 1.32 -0.00 1.25

time (sec)

N/A 0.451 1.257 0.014 0.000 3.503 0.000 0.338 0.000 3.156

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

131 131 147 185 0 286 0 240 175 176

N.S.

1 1.00 1.12 1.41 0.00 2.18 0.00 1.83 1.34 1.34

time (sec)

N/A 0.085 0.378 0.007 0.000 2.597 0.000 0.322 3.708 1.165

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

51 51 81 144 0 154 0 205 -1 53

N.S.

1 1.00 1.59 2.82 0.00 3.02 0.00 4.02 -0.02 1.04

time (sec)

N/A 0.066 0.041 0.024 0.000 0.445 0.000 0.276 0.000 0.336

[next] [prev] [prev-tail] [front] [up]